Designing Neural Networks for Real-Time Systems

نویسندگان

چکیده

Artificial neural networks (ANNs) are increasingly being used within safety-critical cyber-physical systems (CPSs). It is important to validate both the timing and functional correctness of these systems. However, most approaches in literature consider guaranteeing only functionality ANN-based controllers. This issue stems largely from implementation strategies common network frameworks-their underlying source code often simply unsuitable for formal techniques such as static analysis. As a result, developers CPS must rely on informal techniques, measurement-based approaches, prove correctness, that provide weak guarantees at best. In this letter, we address challenge. We propose design pipeline whereby trained using popular deep learning framework Keras compiled functionally equivalent C code. restricted simple constructs may be analyzed by existing analysis tools. if suitable time-predictable platform, all execution bounds statically derived. To demonstrate benefits our approach, execute an ANN drive autonomous vehicle around race track. compile Patmos controller show can derive worst-case timings.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Neural Networks in Designing Fuzzy Systems for Real World Applications

A special multilayer percep tron architecture known as FuNe I is suc cessfully used for generating fuzzy systems for a number of real world applications The FuNe I trained with supervised learn ing can be used to extract fuzzy rules from a given representative input output data set Furthermore optimization of the knowledge base is possible including the tuning of membership functions The new me...

متن کامل

Designing an Expert System for Credit Rating of Real Customers of Banks Using Fuzzy Neural Networks

Currently, in Iran's banking system, non-repayment of facilities has become one of the biggest issues, and due to the lack of a proper system for proper allocation of facilities, they face a number of problems, including the problem of allocation of loans, the problem of failure to repay loans Of the central bank, or the amount of facilities increased from the amount of reimbursement. The solut...

متن کامل

Designing Hard Real-Time Systems

This paper presents a systems life cycle and a structured design method which are tailored towards the construction of real-time systems in general, and hard real-time systems in particular. The standard systems life cycle is modified to take into account the expression and satisfaction of non-functional requirements. The HOOD design method is extended to support abstractions which explicitly c...

متن کامل

Neural Networks For Real-Time Terrain Typing

Many mbotics tasks require an ability to determine quickly the nature of the terrain surrounding the robot. In cross country navigation in particular, the robot needs to know where the vegetation is and where the hard obstacles are. I have developed a general system which has successfully allowed real-time terrain typing in the NavLab I1 autonomous vehicle. This system and training paradigm are...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Embedded Systems Letters

سال: 2021

ISSN: ['1943-0671', '1943-0663']

DOI: https://doi.org/10.1109/les.2020.3009910